- temporal specification
- временная спецификация
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
temporal specification
Смотреть что такое "temporal specification" в других словарях:
Temporal Key Integrity Protocol — or TKIP is a security protocol used in the IEEE 802.11 wireless networks. Background TKIP (pronounced tee kip ) was designed by the IEEE 802.11i task group and the Wi Fi Alliance as a solution to replace WEP without requiring the replacement of… … Wikipedia
Temporal logic in finite-state verification — In finite state verification, model checkers examine finite state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as properties of the system. In the event … Wikipedia
Language Of Temporal Ordering Specification — (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.ee also* Formal methods * List of ISO… … Wikipedia
Interval temporal logic — (also interval logic) is a temporal logic for representing both propositional and first order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences … Wikipedia
Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… … Wikipedia
Language of Temporal Ordering Specification — Language of Temporal Ordering Specification, kurz LOTOS, ist eine formale Beschreibungstechnik, welche im ISO Standard ISO 8807 definiert ist. LOTOS ist ein Vertreter der algebraischen Beschreibungstechniken und basiert auf dem CCS Kalkül von… … Deutsch Wikipedia
Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история … Википедия
Real-time locating — Articleissues confusing=July 2008 refimprove=May 2008 essay=May 2008: This page specifically concerns operational aspects of RTLS. For methodology issues see locating engine. For technology issues see wireless. According to ISO/IEC JTC1 SC31 and… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
